propositional logic

n : a branch of symbolic logic dealing with propositions as

units and with their combinations and the connectives

that relate them [syn: {propositional calculus}]